Automatic implementation using Estelle Development Toolset ( EDT ) Design ,
نویسندگان
چکیده
Design, analysis and performance evaluation of a veritable implementation of the XTP 4.0 protocol
منابع مشابه
On the Improvement of Estelle Based Automatic Implementations
The main challenges for the tools which derive implementations from formal descriptions are to enhance the efficiency and facilitate the integration in various implementation contexts. We study in this paper the Estelle based implementations. Using the Estelle Development Toolset (EDT), we obtained a realistic implementation of a complex transport protocol, XTP 4.0, functionally comparable with...
متن کاملSimulation guiding and validation using dependence relations between events
More effective algorithms and improved computing support have extended the applications that can be effectively tackled by validation methods based on simulation (state space exploration). However, the huge state spaces and complex functionality of most applications remain major problems. We present a validation method that uses guided simulation for a functional decomposition of the system's b...
متن کاملJEstelle novel approach to the distributed Java systems specification and development
The design of distributed Java applications is a very complicated task. Regardless of Java's ease of use and portability, a method that provides a means of testing and validating complex systems in a satisfactory manner is still lacking. In addition system portability is often decreased due to strong dependencies between subsystem implementation and the way they communicate. In this article we ...
متن کاملAutomatic generation of controls code from models for real-time Linux platforms
We present our experience in the design and realization of a toolset for the extension of the simulation and modeling capabilities and the automatic generation of code from ScicosLab models running on embedded Linux and RTAI. ScicosLab — a free system modeler and simulator — has been extended with add-ons for the modeling of hierarchical Finite State Machines (FSMs) and a GUI prototyper based o...
متن کاملA New Approach for Distributing Estelle Specifications
Deriving distributed prototypes and implementations from formal speci cations is one of the most important aspects of an implementation-oriented language like Estelle. Some tools already exist allowing the generation of distributed programs to be executed on a computer network. All these tools follow the same approach: code in a programming language is directly generated from the speci cation, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997